body {
  color            : #333;
  background-color : #FFEFD5;
  font-family      : verdana, arial, helvetica, sans-serif;
  font-size        : medium;
  margin           : 0px;
  padding-left     : 10px;
  padding-right    : 10px;
  padding-top      : 10px
}

div#top {
  margin           : 3px;
  padding-top      : 3px;
  padding-bottom   : 3px;
  background-color : #333399;
  color            : #CACACA;
}

div#top h1 {
  font             : 1.56em "trebuchet ms", verdana, arial, helvetica, sans-serif;
  padding-left     : 15px;
  margin-top       : 3px;
  margin-bottom    : 3px;
}

div#top h2 {
  font             : 1.2em "trebuchet ms", verdana, arial, helvetica, sans-serif;
  padding-left     : 20px;
  margin-bottom    : 3px;
  margin-top       : 0px;
  font-style       : italic;
}

div#top img {
  position:absolute; top:18px;
  position:absolute; right:20px;
}

div#main {
  margin-left      : 22%;
  margin-right     : 2%;
  margin-top       : 10px;
  padding-top      : 20px;
  padding-left     : 10px;
  padding-bottom   : 20px;
}

div#main h2  {
  margin-top       : 0px;
  margin-bottom    : 5px;
  padding          : 0px;
  font             : 1.92em "trebuchet ms", verdana, arial, helvetica,    sans-serif;
}
 
div#main h3  {
  margin-top       : 0px;
  margin-bottom    : 5px;
  padding          : 0px;
  font             : 1.5em arial, helvetica, sans-serif;
}

div#main h4  {
  margin-top       : 20px;
  margin-bottom    : 0px;
  padding          : 0px;
  border-bottom    : 1px solid #AAA;
  font             : bold 1.2em arial, helvetica, sans-serif;
}
 
div#main p {
  margin-top       : 5px;
  margin-bottom    : 5px;
  padding          : 0px;
}

div#main tt {
  font-size: smaller;
}

div#main pre {
  margin-top       : 0px;
  margin-bottom    : 6px;
  margin-left      : 5%;
  margin-right     : 10%;
  background-color : #FFFFFF;
  border           : thin dashed black;
  padding          : 2px;
}

div#main table {
   margin-left: auto;
   margin-right: auto;
   margin-top       : 6px;
   margin-bottom    : 6px;
   border           : thin solid black;
   text-align: center;
}
div#main table.nolayout {text-align:left; border:0px; margin:0px;}
div#main table.coloured {background-color:#FFFFFF;}

div#main blockquote {
  background-color : #FFFFFF;
  border           : thin dashed black;
  padding          : 2px;
}

div#main sup {
   font-size       : smaller;
}
div#main sub {
   font-size       : smaller;
}

div.comment, div.trackback, div.reaction {
   border-bottom: 1px solid #999;
   margin: 2px 5px 5px 5px;
   padding: 3px;
   font-size:0.8em;
}
div.reactionhdg {
    font-style: italic;
    font-size:0.8em;
}
p.comment_citation, p.trackback_citation {
   font-size : 0.8em;
   font-style: italic;
}


.footnotes {
  font-size        : smaller;
  border-top       : 1px solid #DDD;
  padding-top       : 10px;
}


div#menu {
  float            : left;
  width            : 20%;
  margin-top       : 10px;
  margin-right     : 0px;
  padding-left     : 5px;
  padding-top      : 20px;
  padding-right    : 10px;
  padding-bottom   : 20px;
  border-right     : 1px solid #ddd;
}

div#menu h3 {
  margin-bottom    : 3px;
  padding-top      : 0px;
  margin-top       : 5px;
  border-bottom    : 1px solid #ccc;
  font             : bold 1em verdana, arial, helvetica, sans-serif;
}

div#menu table {
  font-size:         smaller;
  line-height:       0.8em;
  margin-bottom:     2px;
  text-align: center;
}

div#menu p {
  margin-top       : 0px;
  margin-bottom    : 0px;
  font             : 1em "trebuchet ms", verdana, arial, helvetica, sans-serif;
  line-height      : 1.1em;
}

a:link, a:visited, a:active {
  color            : #333399;
  text-decoration  : none;
  background-color : transparent;
}

a:hover {
  text-decoration  : underline;
  background-color : transparent;
}  




div#bottom {
  clear            : left;
  font-size        : 0.8em;
  border-top       : 1px solid #DDD;
  margin-top       : 0px;
  padding-bottom   : 5px;
  text-align       : right;
  padding-right    : 15px;
  color            : #AAA;
}  

.debug {
  font-size        : 0.8em;
  color            : #AAA;
}

tt {
  font-size        : 1.21em;
}

p.blog_date {
  font-size        : 0.8em;
  color            : #666;
}

span.icon
{
text-align: left;
margin-top:0px;
margin-bottom:0px;
padding-right:2px;
}

span.dirEntry
{padding-right:20px;}



DIV.xmlElem {MARGIN-LEFT: 20px; BACKGROUND-COLOR: White; }
.xmlAttrVal {COLOR:Red; }
.xmlAttrTyp {COLOR:Green; }
.xmlElemTag {COLOR:Blue; }
.highlight {BACKGROUND-COLOR:Yellow; }
